Nuprl Definition : delta
11,40
postcript
pdf
delta(
i
;
j
) == if (
i
=
j
) then 1 else 0 fi
latex
Definitions
if
b
then
t
else
f
fi
,
(
i
=
j
)
,
#$n
FDL editor aliases
delta
origin
j) then 1 else 0 fi j) then 1 else 0 fi j)